Deterministic acyclic finite state automaton